CPM Categories for Galois Extensions
نویسندگان
چکیده
By considering a generalisation of the CPM construction, we develop an infinite hierarchy probabilistic theories, exhibiting compositional decoherence structures which generalise traditional quantum-to-classical transition. Analogously to case, these decoherences reduce degrees freedom in physical systems, while at same time restricting fields over systems are defined. These theories possess fully fledged operational semantics, allowing both categorical and GPT-style approaches their study.
منابع مشابه
On Hopf-Galois extensions of linear categories
We continue the investigation of H-Galois extensions of linear categories, where H is a Hopf algebra. In our main result, the Theorem 2.2, we characterize this class of extensions in the case when H is finite dimensional. As an application, we prove a version of the Duality Theorem for crossed products with invertible cocycle. Introduction The duality theorems for actions and coactions originat...
متن کاملGalois Categories
In abstract algebra, we considered finite Galois extensions of fields with their Galois groups. Here, we noticed a correspondence between the intermediate fields and the subgroups of the Galois group; specifically, there is an inclusion reversing bijection that takes a subgroup to its fixed field. We notice a similar relationship in topology between the fundamental group and covering spaces. Th...
متن کاملExtensions of Galois Connections
Galois connections play a very important role in the theory of continuous lattices and their various generalizations. (See, for example, [1], [2], [a], [4], [5], [7] and [9].) Morphisms of continuous lattices, as defined in [2], are precisely those upper adjoints of Galois connections which preserve directed sups. In [1] Bandelf and Ernd suggested that the right choice of morphisms for Z-contin...
متن کاملU(g)-Galois Extensions
This paper studies the structure of U(g)-Galois extensions. In particular, we use a result of Bell to construct a “PBW-like” free basis for faithfully flat U(g)-Galois extensions. We then move to non-faithfully flat extensions and propose a possible equivalent condition for a U(g)-extension to be Galois. We get a partial result for this.
متن کاملLocally coalgebra-Galois extensions
The paper introduces the notion of a locally coalgebra-Galois extension and, as its special case, a locally cleft extension, generalising concepts from [9]. The necessary and sufficient conditions for a locally coalgebra-Galois extension to be a (global) coalgebra-Galois extension are stated. As an important special case, it is proven, that under not very restrictive conditions the gluing of tw...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic proceedings in theoretical computer science
سال: 2021
ISSN: ['2075-2180']
DOI: https://doi.org/10.4204/eptcs.343.9